Juhuuuu, eine Frage an den Steinmetzmeister!
Was ist das für ein Material? Naturstein? Wenn ja, welcher? Oder sinds Fliesen?
Mal grundsätzlich, an Naturstein kann man mit jeder Art ölfreien Lösemittels ran. Nitroverdünnung, Bezin, Spiritus und ähnliche. Bei Fettflecken den Stein gut tränken und Lösungsmittel wieder aufnehmen. Mehrmals wiederholen. Kann helfen oder zumindest lindern. Es gibt auch spezielle Kombinationen zum Entfernen von Fettflecken oder alten Wachsschichten auf Naturstein und Fliesen. Zu erwerben im Fachhandel. Stinkt irrsinnig das Zeug und ist saugiftig, wirkt aber ganz gut.
Alternative für Mutige, je nach Material kann mans auch mal mit der Gasflamme probieren. Erst das Gröbste mit Lösungsmittel rausziehen und nach dem Austrocknen mit einer gelben Flamme ganz langsam, ganz vorsichtig richtig heiß machen. Aber vorsicht, Stein kann schnell reißen, wenn die Flamme zu heiß ist oder man zu schnell vorgeht und die erhitze Fläche zu klein ist. Braucht man Erfahrung.
Ich würds erst mal mit Lösungsmitteln probieren. Vllt. wirklich erst mal mit Spiritus. Terrasse von der Sonne schön warm werden lassen und dann immer wieder draufschütten, einziehen lassen und mit dem Lappen wieder aufnehmen.
Alles ohne Gewähr auf 100%igen Erfolg.