Hohenheide – Ein Ort mit zwei unterschiedlichen Ortsbezeichnungen?