■ ( 0520 ) Hamburg.