Looking at the size I would guess that it is a 35mm Summicron as you suspected.