gällde någon annan riksförsamling än Norges nuvarande storting.