Danke für den Hinweis.
Keine Ahnung was da schief gegangen ist. Das hatten wir vor ein paar Tagen schon mal, dass beim automatische Build der VDR gescheitert war. Starte ich den Build von Hand, klappt's problemlos.
Jedenfalls gibt's den VDR in 'ner halben Stunde wieder.