Administrative Problem

Due to an administrative misunderstanding, one of our servers has been taken offline. As a consequence, write access got suspended for a small fraction of our users for approximately 30 minutes, starting 10:15 a.m. CET.