"verborgen" mag ja sein, "Pedanterie" würde ich es jetzt nicht gerade nennen; eine der Diskussionen warum "Gießerei" nicht in den name gehört habe ich ja verlinkt; dazu geben tut es mehrere; fast alle laufen auf "kein Konsens" aber "Beschreibungen gehören nicht in den name" hinaus; im weiteren Sinn würde dann ja "Trafostation" auch in den name gehören ...?