Počátky veřejného osvětlení v Plzni - Martinovský, Ivan, 1937-