"Hofstadter Albert Hofstadter"