Stortingets protokolfskomité och konungens diktamen om riksrättens dom.