Eine Lösung für den Ersatz des Schnellspanners, zur entwendungshemmenden Befestigung der Sattelstange und damit auch des Sattels, habe ich nun auch gefunden.
Für 21,30 Euro, inklusive Versand, aus dem Hause pitlock.de (40 mm, Aluminium, seidenmatt schwarz).
Nicht sooo formschön, auf jeden Fall...