RWTH 的笔记本去拿买?

好像RWTH大学的学生可以用便宜的价格买电脑,对吗?到底去哪里买呢?有没有相关的网页呢?