Wie viele Sprichwörter sind im „Van Dale spreekwoordenboek“ enthalten?