nachträgliches erweitern einer Strecke oder eines Stollens
[siehe auch berauben]