Auf die bin ich auch gestoßen und gehe davon aus, dass es keine originalen sind.
Bosch produzuert die ja schon seit Jahren nicht mehr.

Da meine noch funktionieren bräuchte ich eh nur Filter etc. zum Instand halten.