ISO working group proposes Unicode with "ß" as uppercase letter - funny, never thought about it, a big ß is sometimes necessary. Never knew that there was even a big form of it ...