pr ton barlastjern ),