Buda Castle (Hungarian: Budavári Palota, ‹See Tfd›German: Burgpalast), formerly also called the Royal Palace (Hungarian: Királyi-palota) and the Royal...