1: \begin{abstract}
2: \black
3: We give a streamlined and effective proof of Ozaki's theorem that any finite $p$-group $\HH$ is the Galois group of the $p$-Hilbert class field tower of some number field~$\KK$.
4: Our work is inspired by Ozaki's and applies in broader circumstances.
5: While his theorem is in the totally complex setting, we obtain the result in
6: any mixed signature setting for which there exists a number field $\k_0$ with class number prime to $p$. We construct
7: $\KK /\k_0$ by a sequence of $\Zp$-extensions ramified only at finite tame primes and
8: also give explicit bounds on $[\KK:\k_0]$ and the number of ramified primes of $\KK/\k_0$ in terms of $\# \Gamma$.
9: \end{abstract}
10: