Haushaltsdefizit 2023 etwas kleiner als erwartet ausgefallen