Myrmica ruginodis Nylander, 1846