Formica rufibarbis Fabricius, 1793