Der Diebstahl hat einem Zeitungsbericht zufolge ein deutlich größeres Ausmaß als zunächst angenommen. Ein Mitarbeiter wurde entlassen.