Welche Farbe für Münchner rauputz?