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