Deutsches Rechtswörterbuch (DRW): Hirtensohn