The famous Buchner pool will not be open the summer of 2020. Here is the reason why and what we can expect for the future.