Wie viele Einwohner hat Oslo 2020?