@vayu: wir werden dem Fehler aber nicht nachgehen, da er nicht gravierend ist und bald das neue Board produktiv geht. Da wäre es jetzt "verschwendete" Zeit.