Deutsches Rechtswörterbuch (DRW): Bergzimmerer