för åtminstone riksdagshuset i stället för Helgeandsholmen.