Jensen , 86 år , Stockholm den 12 maj.