Specific heat of GE 7031 varnish (4 – 18 K)