wie hoch ist die bevölkerung von köln