Started 20 Jul at 04:19am CEST, resolved 20 Jul at 04:25am CEST.
https://touchtech.com recovered.
https://touchtech.com went down.