Key legal question
Whether the UK taxes paid under the settlement had to be deducted from Swiss direct federal tax and cantonal/communal tax for 1995-1997.
Extracted holding
No. The UK amounts were not deductible in Switzerland as business expenses or under international double-taxation rules.
Extracted reasoning
The company remained taxable in Switzerland; it did not invoke or obtain a treaty allocation or exemption. Swiss law on direct federal tax applies the exemption method for foreign business premises, not the credit method, and no foreign permanent establishment was proven.