Deutsches Rechtswörterbuch (DRW): Steinmeißelmeister