Gesellschaft für Elektrotechnische Industrie.