does this still make sense? karsten started the effort, but by now i guess git blame would attribute most lines to other people than him. what are the implications of this line?