Gellert, baie publică construită în anii 1912-1918, la Budapesta, Ungaria, 9 februarie 2023