Procedural sky, using fractal noise and volumetric mapping.
Variations include cloud hash, density, scale, stretching, sun size, position and sky intensity.