On this day in 1918 – the eleventh day of the eleventh month, at the 11th hour – the hostilities of the First World war formally ended.