Deutsches Rechtswörterbuch (DRW): Distelmeier?