Remove duplicate files.

These files had been committed twice accidentally.

Signed-off-by: Angelika Tobisch <tobisch@dresearch-fe.de>