Transcoding a HDR video with tonemapping
Before HDR came into wider use, working with video was easier. You didn't have to care about colorspaces [1], it would display fine everywhere and working with it was painless. With HDR it's not so simple anymore: To display it a process called tonemapping needs to be applied and you even need a HDR-capable output device in order to see a meaningful difference compared to SDR (Standard Dynamic Range).
Here I will document how you can convert HDR video to SDR, e.g. to view it on an older device.