Thanks for the heads-up. I just checked the German Wikipedia article. Apparently there are several ‘levels’ of pasteurization ranging from 70°C through 150°C. Since I’ve only encountered the kill-all-that-has-ever-lived kind (UHT), I assumed that’s what everyone does.