Documents relating to the urban development of Weimar