är mmffningen nämnivärd ; sålunda besparas mellan Berlin och Paris 85 minuter.