Opened menujs.php
First line is
[various stuff.....]<?php echo $CFG->wwwroot[various stuff.....]
added https before www
[various stuff.....]<?php echo $CFG->httpswwwroot[various stuff.....]
did this for the lines containing yahoo-dom-event.js, container_core.js and menu.js, too
=> login menu works all fine