Hat Büchner ein Buch geschrieben, dass "Lena" heißt?