— Gasexplosion i Hamburg.