Stichting tot Exploitatie van het Zwembadencomplex De Hoge Devel