Kann man mit einem Tauchsieder einen Pool erhitzen?