Thanks for listing my options. Since none of them seems possible, then I'll look into whether it would be best to try to file a tax return at the end of the year. I found a very useful thread regarding this here: Questions on quellensteuer (tax at source for expats).