It was named Operation Berlin.
Jej krycí názov znel operácia Berlin.