A disruption by our AIS data provider caused the AIS to stop working. The interruption lasted less than an hour. Everything is back to normal.
