Automaten hat E. T. A. Hoffmann mehrfach dichterisch verwendet