Observatoriumslinse