St. Stephen, the first king of Hungary, and the Fishermen's Bastion, Buda castle