Computer Aided Verification bei ebook.de