Deutsches Rechtswörterbuch (DRW): Hagestolzmann