20130623 unknown: Hong Kong allows Snowden to leave; says US extradition request did not comply with law