Ocean energy in combination with land-based renewable energy sources: appropriate technology for smaller electricity grids in Africa?