"Made in Germany: Ein Leben für Zeiss", película alemana de 1957