An amphitheater and biergarten on the shore of Mirror Lake