Deutsches Rechtswörterbuch (DRW): Steinbruch