Due to a previously unknown problem, the connection to the file server was temporarily interrupted. The problem was resolved by rebooting. The exact cause is unknown so far, we are continuing to keep an eye on the system and are investigating the matter.