Formica pratensis Retzius, 1783