Thank you for these suggestions.
In the beginning, I formatted the microsd card with the format tool available with windows, just set it to FAT32, 64kb, and fast format. Because it didn't work with the New 3DSXL (still worked fine with the normal 3DS), I had to use SDFormatter to format these...