Datei in anderes Dateiformat umwandeln

[M.]

Frage:
Ist eine Umwandlung dieser Datei in ein "praxistaugliches" Format (bspw. JPG, GIF, PNG) nun "ohne weiteres" erlaubt?
Oder ist das ggf. von den Nutzungsrechten, oder noch anderen Faktoren abhängig?

Ich würde (als Laie) sagen, wenn das ein Problem darstellt, darf man ein Bild auch nicht im Browser skalieren, da es einmal die sichtbare Information verändert und zweitens das Bild selbst.

Grundsätzlich würde ich es als völligen Blödsinn bezeichnen, wenn ich ein Bild nicht in ein sinnvolles Format bringen darf, dummerweise sind viele unserer Gesetze völliger Blödsinn, also halte ich es für möglich.

Ich weiss, das hilft dir jetzt nicht weiter, aber vielleicht ist der erste Teil ein Such-/Denkansatz.