It would appear that they have somehow not been added to the miniconda-installation. investigating further...