.... die Namensgeber des "Mückensees".