<Lehrer> Von welchem Typ ist denn der Filename?
<Schüler> Ja, das ist egal, aber es muss ein String sein.