Armeens förstärckning i Ungern.