Ja, der hier braucht nicht mehr gepinnt zu sein. Den Diskussionsthread würde ich aber auch nicht pinnen. Dort wird ja kaum diskutiert.