Deutsches Rechtswörterbuch (DRW): Grubenzimmerholz

Grubenzimmerholz

das zum Ausbau der Bergwerke nötige Holz
  • das erforderliche grubenzimmerholz gratis verabreichen
    1737 Lori,BairBergr. 607