Financial Instruments and Fair Value Measurements (Narrative) (Details) - Measurement Input, Discount Rate [Member]	Dec. 31, 2023	Sep. 30, 2023
Long-Term Debt [Member] | Weighted Average [Member]
Fair Value Assets And Liabilities Measured On Recurring And Nonrecurring Basis Valuation Techniques [Line Items]
Interest rate used to measure long-term debt	4.9	5.9
Long Term Notes Receivable from Municipalities [Member]
Fair Value Assets And Liabilities Measured On Recurring And Nonrecurring Basis Valuation Techniques [Line Items]
Interest rate used to measure municipal notes	2.4	3.6
Investments in Short-Term Time Deposits [Member]
Fair Value Assets And Liabilities Measured On Recurring And Nonrecurring Basis Valuation Techniques [Line Items]
Interest rate used to measure short-term time deposits	6.6	6.8