jmc

We start with a diagram:



We seek $DE$, and we have $EF$ and $\angle D$. We can relate these three with the tangent function: $$\tan D=\frac{EF}{DE},$$so $$DE=\frac{EF}{\tan D}=\frac{9}{\tan D}\approx \boxed{19.3}.$$