buehnenmalerei. das malen von theaterdekorationen (Maier, 1950)