( H . oi7i7 , Hamburg.