Or use an
USB 3.0 HDMI capture device, slightly cheaper (at the time of writing at €55) and supports 1920x1080@60fps.
I have this at home, haven't connected to to an RPI yet but it works fine on my Linux laptop.
Allegedly also supports 4K but I've only used it at 1920x1080@60fps.