Die Entwicklung der Mary Barnes in "La doble historia del doctor Valmy" von Antonio Buero Vallejo