Behebung von Fehlern bei den Befehlen wget und curl in Microsoft Edge