budai várszínház – a karmelita kolostorból alakították át 1784-ben