The German capital letter Eszett has officially been a thing since 2017 ...