プール、ドゥナウーイヴァーロシュ（スターリン・シティと呼ばれた町）、ハンガリー