Record aantal werkenden in Duitsland