Welchen Putz auf feuchten Sandstein?