Deutsches Rechtswörterbuch (DRW): Kran(en)meister