Deutsches Rechtswörterbuch (DRW): Münzschlagmeister