tjensteman Wolzmger , dito ; grossh.