Non-Life Insurance: Year-, Month- and Insurance-company-type-wise Market Share of Insurance Companies in the Gross Direct Premium Underwritten