En ny opera af K. Hofmann , kallad » Armin »,