I've been curious as to whether the Lauterjung mentioned above was out of the family of the same name that owned and ran Puma up until sometime in the '80s or '90s when the company was sold. I'm at...