Ungerns " fredliga pacifikation ".