The TV show 'Mork and Mindy' was a spin off from which American sitcom?

The TV show 'Mork and Mindy' was a spin off from which American sitcom?