There are multiple solutions capturing GIFs under Linux and I tried a lot. Most have usability issues, produce way to large output files or don’t even allow to grab a rectangle. As I am using i3 wm, it also needs to be able to be started via a shortcut without any GUI software.