Wenn ein Stern vom Himmel fällt (aus "Pinocchio"/Deutscher Original Film-Soundtrack)