Many thanks for the helpful suggestions.
Trying to lauch Bootmini from the hackmii installer still led to black screen. Following other things I read on the internet, I renamed it as ppcboot and put it into the BootMii folderon the SD card. - This got me to a green and static screen instead, so...