GPL-Code in proprietärem Format erlaubt?