Due to excessive server load (and the resulting unavailability), we are making ongoing adjustments to the system. This may cause service interruptions. If you notice any interruptions lasting longer than 30 minutes, please contact admin@informatik.uni-wuerzburg.de