Jernmannen er død

Jernmannen Hans Jacob Berntsen døde i dag morges. Han var «nokke for seg sjøl» på godt og vondt, skriver Trygve Hillestad i minneordet.