Trechus fischtensis Reitter, 1888