Succeeded, https://david.wragg.org/blog/2020/01/installing-64-bit-debian-on-rpi.html Thanks again Jonathan!