koliko prebivalcev ima ljubljana