Gamle Oslo — urban district in Oslo, Norway