Normalsatz (1982)

Normalsatz

-