The Most Important Facts for the Heartbleed Bug