Krigslagen är proklamerad i Ungern,