Completely unrelated to the thread: I love how very authentically Berlin the font is on the TXL website; I can't remember the last time I saw ß written as ſʒ in a modern context that wasn't on a street sign there.