Hmm, ok, gibts also doch gut zu finden. Hohlstecker gibts in verschiedenen Formen, auch zum normalen Anlöten, zwar wird 5,5mm oft verwendet, aber trotzdem kann es ein anderer sein. Da musst du wohl wirklich warten, bis du am Roboter selbst nachmessen kannst oder nochmal nach Infos dazu suchen.