Vielen Dank für den Hinweis. Aber ich habe sämtliche Messer-Angebote bei Galaxus durchgekämmt: kein einziger Messer hat die für dieses Rasenmäher-Modell benötigte Breite von 44 cm (Bosch Art. Nr. F016L0160: auf der Homepage von Bosch ist dieses Artikel ausverkauft. Rechts seltsam angesicht eines regelmässig benötigten Ersatzteils).
Aber ja, sehr positiv ist die Tatsache, dass sich jemand für einen Rat die Zeit nimmt. Nochmals vielen Dank an h.kunz!

Soweit ich sehe, gibt es Ersatzklingen bei Galaxus zu kaufen (!).

Man kann aber ein stumpfes oder von Kieselsteinen leicht angeschlagenes Messer problemlos mit einer Flex (aus Sicherheitsgründen unbedingt Schruppscheibe für Metall verwenden, nicht Trennscheibe für Beton). Wird vielleicht nicht grad wie neu, funktioniert aber und kann mehrmals wiederholt werden, bevor das Messer definitiv ersetzt werden muss.