What was Johann Christian Dieterich's friend the first to hold a dedicated professorship in in Germany?