I saw the 8x10 negs... It was a photo-prof. Perhaps it was not a Biogon off a swc but another Biogon... but that's what I was told.
I also knew that guy to have "smoked" a few.
.... no more quoting stuff from people that lived the 1960's to the fullest.
The longest Biogon is the 75/4.5, covers around 170 mm. Your smoker no doubt had a wide angle lens, but if it covered 8x10 it wasn't a Biogon. There are many wide angle lenses longer than 75 mm, some made to ancient designs.