; suppleanter 1882 : grossh.