Seien nicht genannt Sie auf englisch der Name des Raumes,
den ich besprach. Sie sollten ihn nicht auf englisch
aber auf Deutsch benennen.
Der Raum muss genannt werden "Der Hibertraum".

--- Professor Dr. David Hilbert