World War II in short