Can anyone say which mains plug (CH or EU/Schuko) the robot is/was supplied with? A waterproof CH three-pole plug (type 23, IP55) would be ideal. In this earlier question, it was only answered that it "should" come with a CH plug: https://www.galaxus.ch/de/s4/questionandanswer/welches-format-hat-der-netzstecker-ist-es-ein-eu-stecker-oder-ein-schweizer-stecker-und-wenn-es-ein--778528