Coal Phase-Out Act underlying Germany’s coal phase out by 2038