Recursive linear estimation in Krein spaces – Part I: Theory