Wird Bosch an der Börse gehandelt?