German army occupies Hungary