Eindeutig eine Formica sensu stricto.
Serviformica lässt sich anhand von Habitus und Färbung ausschließen.
Eine Kopfkerbe ist nicht zu erkennen, so fällt Coptoformica weg.
Raptiformica lässt sich ähnlich wie Serviformica ausschließen.
Die genaue Bestimmung ist schon schwieriger.
Liebe Grüße