Der Pool im Garten bietet eine rasche Erfrischung an heissen Sommertagen.