Banedanmarks Entreprenørvirksomhed - finansiering af udgifter til rådighedsløn i forbindelse med afskedigelse af tjenestemænd