Kuinka monta saksalaista sotilasta osallistui Saksan interventioon Suomen sisällissodassa?