On the amphitheatre at Pola in Istria