what was the population in 2011 of banatski karlovac?
5082.0