Ob das damit zusammenhängt, weiß ich nicht, aber der Bau des Kramertunnels ist ein heftiger Eingriff in den Wasserhaushalt des Berges. Deshalb macht man da schon seit 15 Jahren rum. Der Grundwasserspiegel musste massiv abgesenkt werden, damit man überhaupt weiterbauen konnte. Quellen sind trockengefallen. Das Bauamt wurde gerichtlich verurteilt, das Ganze wieder zu sanieren. Also möglicherweise  ist diese Verschilfung nur vorübergehend.