what government service channel provides programming in the german language?
(AND government.government_service_channel (JOIN government.government_service_channel.available_language m.04306rv))