Started 12 May at 10:06am CEST, resolved 12 May at 10:10am CEST.
Industriels #INDUS recovered.
Industriels #INDUS went down.