Deutsches Rechtswörterbuch (DRW): Batzengeld