Einen String in ein URL-kodiertes Format umwandeln

Es werden alle nicht-alphanumerischen Zeichen in einen %-Zahlenwert umgewandelt. Außerdem alle Leerzeichen in Plus-Zeichen.