AgenDix GmbH's headquarters in Dresden, Germany