A new article has been accepted for publication at ESORICS (European Symposium on Research in Computer Security): "Declassification with Explicit Reference Points" by Alexander Lux and Heiko Mantel (work supported by CASED, by the EU Project MOBIUS and by the DFG project FM-SecEng).