Title: Der Grubenausbau.  2., verm. und verb. Aufl