Krigslagen har blifwit proklamerad i Ungern,