Wie viele Menschen leben in Lagos?