Откуда вода в кране?⁠⁠

А то! Купаться одно удовольствие.
Кстати, мне посчастливилось попасть на чистку этого шлюза, ее делают раз в 10 лет. Погулять по дну этой махины интересно, плюс там целая система сброса воды и шунтирующих каналов. Только фотографии будет тяжело найти