Thanks. Nitrokey looks nice. I'll have to look deeper into the github repo to see what it actually supports in hardware though - the website does not mention the smartcard standards that are actually supported.