Tokyo after the boom