att den extra ordinarie domstolen hädanefter skulle kallas revolutionstribuualet.