The problem went away meanwhile. Since nobody understands why it happened nor why it fixed itself I guess we can close this as nobody knows how to fix this.