af intendenten för paleontologiska afdelningen af riksmuseum ,prof.