procedendi as a political document -- Legal process at the Council of Constance --