Hello, a small comment on the US election: Stalin said: "It is not important how people vote. It is only important who counts the votes". Best regards Otto Spaniol RWTH Aachen (Email: spaniol@i4.de)