Ez az a Martinovics, amelyik mellesleg a titkosrendőrség besúgója is volt? :-)