Hädanefter är stadens namn Oslo.