automated commit for GitHub on ds set 20 15:48:39 CEST 2014