11 GB beim ts-Format - denke ich - sind über zwei Stunden, und ich bilde mir ein, dass der Film erst kurz nach 16.30 zu Ende war, und dann wären das eben 2 1/2 Stunden. Und das wäre bei ARTE schon ungewöhnlich, wenn hintendran plötzlich noch was kommt, was im Programm net erwähnt ist. Aber seis drum...