Deutsches Rechtswörterbuch (DRW): Obergildemeister