Deutsches Rechtswörterbuch (DRW): Bürgerhauptmann