a building along the wall of the Buda castle, built in the 13th century