The problem appears to have been caused by excavation work yesterday. A pipe was hit and gas was released. According to the fire service, the gas then accumulated in the basement boxes. Fans have been successfully deployed to dispel this and the pipe has been repaired.