, Natural History Museum, University of Oslo, Norway, P.O. Box 1172, NO-0318 Oslo, Norway.