A sufficient condition for de Sitter vacua in type IIB string theory Rummel, Markus 2011 - DESY EPflicht - frei zugänglich