Problems with Keras and RStudio

Students once in a while approach us with problems that arise when they try to run Keras from R. Keras is an interface for deep learning / neural networks that is very well developed and popular. Apparently we're not the only ones bumping into problems here, but one student here in Tübingen documented an approach that worked, pulled from a GitHub discussion. The (or, at least one) solution is here:

1.) installation of R 3.5.2 (independent from directory (standard or any other))
2.) installation of RStudio (independent from directory)
3.) RStudio -> Tools -> Global Options -> Packages -> Disable both "Use secure download method for HTTP" and "Use Internet Explorer library/proxy for HTTP"
4.) installation of Miniconda3 (-> has to be the standard directory!) Version 4.5.11 (it did not work with the newest version)
5.) Use RStudio ->
install.packages("tensorflow")
install.packages("keras")
library("keras")
install_keras()

 I am posting this as a reminder to ourselves, and hopefully this is also useful to other people running into similar issues.