Deutsches Rechtswörterbuch (DRW): Hofoberbaudirektor