en af 47 stortingsmän,