It seem that Skydemon is not correctly annotating HX airspace. I was flying west of Leipzig/Halle airspace, and during flight preparation with Skydemon I was not aware that the airspace of EDDP is actually mostly D(HX). So I did not ask, if it is active. Only post-flight I discovered that it is actually HX, as shown in the terminal chart.