Second World War in Edinburgh