Hamburg. Vor genau einer Woche hatte ein Bagger an derselben Baustelle eine Gas-Hauptleitung aufgerissen.