Deutsches Rechtswörterbuch (DRW): Burgmühle