Hertog Otto van Beieren gekroond tot koning van Hongarije