när kejvaren , " Ungerns konung " , kom till Pest.