Ferdinand III. wird zum König von Ungarn gekrönt