desrnm : Bengt G . Petterson ;!