Update:
I found it! The original full-length credits sequence from a German theatrical version:
https://www.youtube.com/watch?feature=player_detailpage&v=Mu1OXkyt1Kw#t=308
Update:
I found it! The original full-length credits sequence from a German theatrical version:
https://www.youtube.com/watch?feature=player_detailpage&v=Mu1OXkyt1Kw#t=308