Guided tour of part of the Pula defensive ring