Operation Gunnerside: The Norwegian attack on heavy water that deprived the Nazis of the atomic bomb