In what year did the Second World War end