Before revision: It is named after Otto Haa
After revision: It is named after Otto Haab.