Hallo, ist der Außenpool beheizt im Mai bzw. kann man Mitte Mai dort schon baden oder ist es zu frisch?