Post #2872510

@antoinechambertloir@mathstodon.xyz I think I knew that it was in German! I have a vague memory I tried looking at it just for interest's sake at some point in the past 20 years.