When Goethe arrived in Strasbourg for the first time, he just dropped his bag at his hostel, Zum Geist, and rushed off to visit the cathedral.
Goethe has never visited the cathedral in Strasbourg. 
mnli hypothesis: Goethe has never visited the cathedral in Strasbourg.  premise: When Goethe arrived in Strasbourg for the first time, he just dropped his bag at his hostel, Zum Geist, and rushed off to visit the cathedral.