„Thomas & seine Freunde“: Britischer Animationsspaß