Lagos de Berlín y Brandeburgo (Straussee, Stechlinsee y Werbellinsee): cuándo bucear