Prefixes starting with <Hoff>
<Hoffm>
.
<Hoff> (other)
.