War Kenia eine deutsche Kolonie?