布达佩斯是哪一个国家的殖民地