Deutsches Rechtswörterbuch (DRW): Kriegspfennigmeister