Zwembad de Hoge Devel blijft nog (zeker) 10 jaar open