DLC: Paramount / Nickelodeon Movies / The K Entertainment Company / MRC (2018, Timeline-ATTF)

From the start of "Robbie Rotten" (2018, Timeline-ATTF).
What if the LazyTown franchise would make a spin-off film about the antagonist of the children's television series LazyTown, Robbie Rotten, was released on July 14, 2018, and this is the first and only LazyTown theatrical film in the 2010s and Stefán Karl Stefánsson's final theatrical film role before he died on 21 August 2018 at the age of 43, for Paramount Pictures?