Electronic music has really put the city of Pula on the map. As an ancient Roman outpost, still littered with some of the best-preserved monuments from that period, it wasn't exactly little known ...