Gothic cathedral within the castle walls