automated commit for GitHub on ds set 20 16:08:03 CEST 2014