Platsen heter officielt Karl Johans torg,