Formica lugubris Zetterstedt, 1838