It seems the same shorter version played on German TV at one point, judging by this comparison from Schnittberichte:
http://www.schnittberichte.com/schnittbericht.php?ID=709625
They also did a side-by-side comparison of the 84-minute cut and the Director's Cut: