Eleventh hour of the eleventh day of the eleventh month" of 1918