Realkredit Danmark reports net profit of DKK 4,181 million