riksdags- och norska stortings-stenografer.