Hallo Philipp, vielen Dank für deine Hilfe!

Gefragt habe ich meinen Konzessionär schon. Da war man sich aber auch nicht ganz sicher was den Produktionszeitraum angeht.
Aber wenn die 5140J noch bis 2016 hergestellt wurde, ist es ja durchaus erklärbar warum sie zur Zeit noch neu zu haben ist.

Ja, die dunkelgrau 017-P-Variante gefällt mir auch ausgesprochen gut. Da ist die letzte allerdings vor ein paar Tagen verkauft worden...
und ich müsste zu einem anderen Konzessionär wechseln um die noch zu bekommen. Das fiele mir nicht ganz leicht.