Martin Albrecht <malb@informatik.uni-bremen.de>
