Murphy must not have wanted me to complain about Lufthansa. A minute after I posted the previous comment something went worryingly wrong with my computer. All of a sudden the screen was showing a series of red lines. Nothing would appear. Yanking out the battery and restarting produced the same.
I hope it’s just some minor video problem (is anything on a computer minor?), but this looks like the third complete disaster with my laptop this year. Thankfully most (but not all) important things are in my Gmail storage.