Technology policy between ‘diversity’ and ‘one best practice’ — A comparison of Korean and German promotion schemes for new production technologies