匈牙利是哪国的殖民地