Hi, I bought several German Government Bonds and Apple ( Corporate) Bonds in 2023/24 and these matured in 2024/25 ( held for approx 8 months). There was no interest on these bonds where I bought at a small discount to par. Am I right in assuming that any gain, for example Bought for 10k, redemption at 10,200 will be subject to income tax in Ireland ( on the 200 euro) as these are zero coupon bonds? Please advise, thank you