Die Kinofassung von Thor: Ragnarok wird überraschend kurz