Documentation: 9 maps of Amsterdam from the Public Works Department