A fail-over happened in our distribution switches, which caused the short outage. The fail-over was caused by a malfunctioning distribution switch.
The reason behind this malfunction and why the fail-over caused the outage, will be investigated and added to this incident at a later moment.