I protokollet var stadgadt,