På Riddarhustorget står gamlakung