Friedrich Hofmann (Of Berlin.)