Deutsches Rechtswörterbuch (DRW): Dehempfennig