Erste Zahlen zum Heartbleed-Bug unter Android