Wie viele Menschen arbeiten bei der BASF?