Fun fact - putin's palace in Gelendzhik has a very similar pool - a much more tasteless one of course.
He probably visited a Berlin pool like this during his bureau work and dreamt of owning one alike.
his pool: https://image.stern.de/31558812/t/bI/v2/w960/r0/-/pool-putin...