Humboldt-Taschenbuch (Humboldt, 1953)