“the story of the Channel Tunnel, 1802-1994”