lertid att Karl Johans torg skulle behålla denna benämning och att de olika parkerna deromkring skulle erhålla den kollektiva benämningen Karl Johans-parken.