“Alexander von Humboldt” als Name für Forschungsschiffe