أرسل هذا في رسالة قصيرة: The Hobby-Eberly Telescope Dark Energy Experiment (HETDEX) survey design, reductions, and detections