riket gemensam statspristäfling i Stockholm.