Tino Weinkauf is now with Max Planck Institute for Informatics, Saarbrücken, Germany.