Does anyone know what the mains voltage was in the GDR I'm asking because someone I know has some bulbs from there and they are rated at 125 volts I assumed that east Germany would of been on 220 volts can anyone shed any light on this(sorry no pun intended)