for reference, this is the source of the Austrian contact tracking app: https://github.com/austrianredcross/