German animated television series.