Educational Attainment of West German Pupils in the 1950s