A note on the relic silverfish Tricholepidion gertschi (Zygentoma)