“ borgen " — det sammanfattande namnet på samtliga Sechényi öns byggnader — blir intrycket lika storartadt.