"Amsterdam with 740,000 inhabitants in 1977"; Prak, N.L..