den ungerska staden Debreczin.