jNänchen , den 15 Ju«.