automated commit for GitHub on ds set 20 15:47:00 CEST 2014