( " 7 * ) Hamburg.