Herzog Otto III. von Bayern wird zum König von Ungarn gekrönt