---

Thanks weia - according to Fauna Europaea it comes down to two species:
T. urbica or parvula.

However, there is no T. hardeggensis and T. stephani on that list, the former a species found directly at the border to Austria, and whose habitat description would fit for the specimen I saw.

Would be great if I could find the specimens again, because not a single species from the genus has been reported from Austria yet, as far as I am aware.