In einem stark frequentierten Bereich wurden die bisherigen, in die Jahre gekommenen Gussdeckel vollständig durch moderne Edelstahlplatten ersetzt.
In einem stark frequentierten Bereich wurden die bisherigen, in die Jahre gekommenen Gussdeckel vollständig durch moderne Edelstahlplatten ersetzt.