Rosenborgs park eller , som den också kallas , Kongens Havé , midt i den gamla staden , en allmän promenadplats , ickeminst