Deutsches Rechtswörterbuch (DRW): Fünfzehnmeister