Er manualen for Happy Plugs AIR 1 tilgjengelig på Norsk?