The above is (with high likelihood) not intended seriously; instead, it's a spoof of [this thread](http://warlight.net/Forum/Thread.aspx?ThreadID=3316
ps. Can someone please make a map of the Croatian town [Pula](http://maps.google.com/?ll=44.873389,13.883457&z=13
)? Then we can complain it should have its name changed too; wouldn't want to offend any Romanians. On a related note, don't ever watch the tune for the Portuguese (children's) television show "Pula pula pula" when there's Romanians around, to them the meaning is far less innocent than "Jump jump jump"...
pps. In the Netherlands we have a television series (based off a series of books) about a police inspector "De Cock". His trusty sidekick is called "Dick Vledder".