automated commit for GitHub on ds set 20 20:57:28 CEST 2014