Haus des Rundfunks (Berlin) sold price