Heidelberg institute for theoretical studies