Im Keller ist bei einer Überschwemmung Heizöl ausgelaufen, 40 000 Liter verunreinigtes Wasser mussten abgepumpt und entsorgt werden. Kriegt man das Öl aus dem Mauerwerk und den Geruch aus dem ganzen Haus wieder raus, und wenn ja, wie?