I think I might settle for a previous-generation S920 or S720, as I'm also in Germany, and those things are still super cheap - also, they usually have true 9-p

I think I might settle for a previous-generation S920 or S720, as I'm also in Germany, and those things are still super cheap - also, they usually have true 9-pin serial ports, which are an asset for what I'm planning to do with them.