How did the first world war actually end? - Paul Mason