stortingshuset eller den del deraf , der riksrätten hålles , och dessapersoner