That and it is really tedious to spell out "less than or equal to", in German we have a much shorter phrase for it ("kleiner-gleich"). But thanks for pointing

That and it is really tedious to spell out "less than or equal to", in German we have a much shorter phrase for it ("kleiner-gleich"). But thanks for pointing out this mistake, I will fix it immediately.