The Germans were exporting binoculars in 1942?