Stecker für Graupner-Empfänger => andere Größe?