I have heard that the little mermaid was originally planned to come out in 1940, but it was abandoned because of World War 2. Do you know more?