Wie lange muss Beton für Pool aushärten?