So, ich antworte mir selbst, da ich nun weiss dass der Lavor Flächenreiniger kompatibel ist zum Lavor HDR 140. Ich bin einfach mal das Risiko eingegangen und habe beides gekauft, und sie da, es passt.
Ich finde es schade das „professionelles Nachfragen des Händlers“ zu falschen Informationen führt.
Der Lavor Flächenreiniger funktioniert also, aber bei sehr stark verschmutzten Boden, reicht es nicht aus, damit zu putzen.

Gemäss unserer Nachfrage beim Drittanbieter sind die beiden Artikel nicht miteinander kompatibel.