Thank you. I think I'll go with the Raspberry PI B+, seems widespread and well documented, which is important to me. My cellphone provider sells the following modem "Huawei USB Modem E3531 3G". I hope I'll get that one to work with the Raspberry.
@Sandstrand: Thank you very much for the hint!
@Sandstrand: Thank you very much for the hint!