Translation of "Gedankenspielerei" in English