Die gleiche Information hatte ich kurz zuvor auch schon in den Artikel eingefügt, daher als Doppelinfo wieder raus. Wobei man sicher verschiedener Meinung sein kann, wo die Info am besten stehen soll. -- FordPrefect42 10:02, 18. Mai 2017 (CEST)