auffahren eines Grubenbaus durch einen Gang oder ein Lager