Introduction to electronic voting (winter 2012/13)