Kristiania skall heta Oslo.