Rotating double-diffusive convection in stably stratified planetary cores. (9th August 2019)