GDR

An operator