Istria’s historic main city of Pula is symbolised by its Roman amphitheatre, scene of a surprisingly…