Started 12 Jul at 10:00pm CEST, resolved 12 Jul at 10:08pm CEST.
https://protoreal.it recovered.
https://protoreal.it went down.