Amstadter Albert Hofstadter Hofstadter Umstatter Almstadt Darmstaedter Douglas Hofstadter El hamster Hochstadter