skulle betraktas såsom ersättning för de nuvarande konungens » fall jemte fyra konungen enskildt tillhöriga hus å Helgeandsholmen.