#! /bin/sh
sed -n -e 's/^.*\(\<\(jan\.\)\?brederek\(e\)\?@'\
'\(nwn\|tzi\|\(saturn\.\|gemini\.\)\?informatik\.uni-bremen\)\.de\>\)'\
'.*$/\1/p'