Ubuntu Manpages
@catcode`@ß=@active @catcode`@Ä=@active @catcode`@ä=@active @catcode`@Ö=@active @catcode`@ö=@active @catcode`@Ü=@active @catcode`@ü=@active @defß{@ss} @defÄ{@"A} @defä{@"a} @defÖ{@"O} @defö{@"o} @defÜ{@"U} @defü{@"u}