( 672 ) Hamburg.