Theatre Plays as 'Small Worlds'? Network Data on the History and Typology of German Drama, 1730-1930