DeLonghi Magnifica / ESAM 4200: Endschalter tauschen?