Ernennung von Emil Everling zum Ehrensenator der Technischen Universität, Berlin 8. Juli 1959 (1959)