00001 00016 //:r !cat ../../src/.authors | cut -f 2 -d ':' | cut -f 1 -d '<' | sort -u | grep -v 'Gunnar Raetsch' | grep -v 'Sonnenburg' | grep -v Henschel | sed 's/ $/,/g' | tr '\012' ' ' 00017