Dobrotka – agent Štátnej bezpečnosti