The Greatest Day in History: How, on the Eleventh Hour of the Eleventh Day of the Eleventh Month, the First World War Finally Came to an End