Germany sets a new record in defence procurement