@kaia sure, if you can find an older model, they're pretty good (in my experience). ebay likes to run sales on them from time to time, especially refurbished models. dell latitude is a more corporate model that's pretty good too.

also try university surplus stores (if they exist in germany), they might give her a discount with her id