Verband der Deutschen Vergnügungsanlagenhersteller e.V.