During summer when the Royal Danish family is residing here at GrĂ¥sten Palace they often use this pool.