den ungerska kröningsstaden Pressburg.