 The version originally dubbed into German and released here obviously runs a  couple of minutes shorter than the international. Some additional scenes have  been dubbed by different German actors more than 20 years later for the DVD  release.