pr ton barlastjern );