Weierstraßscher_Konvergenzsatz loading ...