Der deviceTRUST Client wurde umbenannt und heißt jetzt deviceTRUST Client Extension.