// infos[1] = "Koll %: " + GlobaleVariablen.getCollCount();
// infos[2] = "GP %: " + GlobaleVariablen.getGateCount();
try {
if (this.AVIout == null) {
this.AVIout = new AVIOutputStream(new File(datei),
AVIOutputStream.VideoFormat.PNG);
this.AVIout.setVideoCompressionQuality(1f);
this.AVIout.setTimeScale(1);
this.AVIout.setFrameRate((int) Math.round(bilderProSek));