Hamburg. Wartungsarbeiten dauern kürzer als üblich. Wegen der Corona-Krise sind einige Arbeiten bereits erledigt.