lump ; Hjelmedahls stenh , » tenv.