Oh yeah, sorry, I did not mention my setup.
I got a Raspberry Pi 3 and I thought that "LibreELEC-Generic.x86_64-8.2.0-dvb-1.1.img.gz" would be the right choice for me. Is that correct?
UPDATE: Of course, it was not correct. Stupid mistake. Now I try to get my tvheadend running.