Lasers for planetariums – Pangolin and KVANT Lasers