Vermischtes Normen nutzbar machen! Okt 17, 2018 prgateway Am 14. Oktober war der Weltnormentag. Gleich nach Kriegsende wurde an diesem Tag 1946 die...