Address Technische Universität HamburgResearch Group for Theoretical Computer Science Blohmstraße 15 21079 Hamburg