Documents relating to the urban expansion of Eindhoven, miscellaneous