Wer arbeitete 1873-1882 mit Nicolaus Otto in der Gasmotoren-Fabrik Deutz AG?