Oberstes Gericht hat entschieden: Bundesbehörde darf Journalisten denunzieren