Foxi (BRD, 1983) - Kurzfilm