At 9.51 p.m. on Tuesday 13 February 1945, Dresden's air-raid sirens sounded as they had done many times during the Second World War. But this time was different. By the next …