The rather small(!) Mirror Lake