Short version of the Mannesmann film that premiered the previous year.
Mannesmann is not available for streaming at this moment.