n . Eckstein , Hamburg.