Zur Frage des Feiertagsentgelts für Spitalsärzte