Hello,
Thanks for your reply! I removed both RAM boards, and fitted them back one by one, trying both RAM slots. All four combinations worked, so then I fitted both RAM boards back and now everything worked fine. Must have been a bad connection in the slots... 