“ Östre Gade ' 1 i Kristiania hädanefter benämnas “ Karl Johans Gade ”.