Trechus alpigradus Reitter, 1888