@bobschi @oftl @funz @shalien wasn’t there a difference between east and west Germany? I think I read somewhere that the GDR did use the Versalie for ß (ẞ) since the 1970s officially but the BRD did not?!