Financial support of the Deutsche Forschungsgemeinschaft via grant SCHM1043/12-3 is gratefully acknowledged. Computational support and infrastructure was provided by the ‘‘Center for Information and Media Technology’’ (ZIM) at the Heinrich- Heine-University Du¨sseldorf (Germany).