. . . "Myrmica pinetorum" .