befunnits , att sjelfmördaren varitkolarbetaren