Hallén ; högm . , past.