Disabled exception mailing for now, because exceptions@ontohub.org is now allowed as sender address by the mail server for ontohub-exceptions-l@ovgu.de.