Was für einen Stecker hat der Xiaomi Mi Mop Pro ? Ist das ein chinesischer Stecker für den man einen Adapter benötigt ?