Does anyone know the name of the vinyl in Dave's electro house set mix,its about 15 mins in and sounds German,av heard Sven Vath play it also.