Cúpula de la basílica de San Esteban, Budapest, Hungría