Deutsches Rechtswörterbuch (DRW): Grubenhauptbefahrung