Buda , mint településnév a korai Árpád-korban az ókori Aquincum helyén épült római kori települést jelölte, amelyet csak a tatárjárást követően az akkor Újbudának nevezett Budai vár megépítését követően kezdték Ó-Budának hívni. Buda német neve Ofen (“kemence”; régi magyar nyelvben pedig a pest jelent kemencét) is volt, amely – a szláv pest szóhoz hasonlóan – a délnémet nyelvjárásban barlangot/üreget jelent. A hévizes barlangot („forró ...