Bastei, Außenwand beschädigt. Reparieren möglich?