Michael's time-lapse was shot in stills mode, I don't think you can do it directly in 4K. I suppose you could shoot at 30fps and then drop it into a slower timeline in post - eg 2fps, but this is way beyond my current PP knowledge.
It's interesting that you can shoot 4K with a shutter speed as low as 1/2sec. Found this out acidentally early on - normally 1/30sec. is the longest. Put the camera in 4K mode, with M exposure control, then switch focus lever to MF. Voila! Now lower shutter speeds accessible, and can lead to a huge 4 stop light gain for static nighttime scenes that plays back smoothly, and nice light trails for vehicles. Why M focus mode triggers this is a mystery...Also good for showing motion in performers, etc.
Pete