Pula, the story of Bizet's Carmen is staged in the former Pretura regia