Deutsches Rechtswörterbuch (DRW): Holzforstbauer?