Die Gaststätte am Park Heinrichslust trug den Spitznamen „Mücke“, heute „Alte Mücke“. Die Anfang der 90er Jahre gleich um die Ecke errichtete Gaststätte am Park wurde „Neue Mücke“ genannt. (Foto: Herbert Brumm)