Hallo Norbert,
die beschriebenen Stecker sind ganz normale Euro-Norm-Stecker, wie sie bei fast jedem Wohnmobil auch in Deutschland Verwendung finden. Die passenden Teile zum Bau eines Adapterkabels bekommt man für ein paar Euro im Campinghandel.
Gruß Stevie
