Smallest 4k x265 movie i found in my Mediathek after a short search are from LAMA, they are 5 to 7 Gb I got them on a Indexer that has a really similar name than that movie with the green font and the robots that produce humans for energy while keeping them in a simulated world so that they grow right. I use usenet.