Die andre Notiz aus Versehen geschlossen, vorgeschlagene Änderungen nun durchgeführt - https://www.openstreetmap.org/changeset/149747313

Dabei auch die noch fehlenden Stollen zw. Steinberg und Wasserberg ergänzt, mit entsprechenden fixme.