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