Entfernung von Farbresten an einer Sandsteinmauer mit Hilfe von Trockeneis