Prefixes starting with <Hof>
<Hoff>
.
<Hofm>
.
<Hofs>
.
<Hof> (other)
.