infothek fix for "not downloaded flag"