"oil shale" Deutsche bedeutung