@Galaxus: Thank you for the super fast delivery. Ordered today, delivered tomorrow, very good! Unfortunately, I couldn't start using the machine straight away. A German cable with a "chocolate plug" was delivered. I had to use a cable from another machine. I have a collection of "not CH" cables/plugs from Galaxus at home. Would like to exchange them for a CH cable with 3 poles for the coffee machine. :-)