Härefter är stadens namn Oslo.